Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
731	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
732	Parsing English with a Link Grammar Daniel D. K. Sleator * Davy Temperley October 1991 CMU-CS[removed] Add to Reading List Source URL: www.link.cs.cmu.edu Language: English - Date: 2004-03-24 13:40:45 Language Parsing Formal grammar Context-free grammar Syntax Immediate constituent analysis Interpretation Combinatory categorial grammar Electrical connector Formal languages Linguistics Grammar
733	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
734	A Formal Approach to Vague Expressions with Indexicals Liesbeth Martens and Giuseppe Primiero? Centre for Logic and Philosophy of Science, Ghent University, Belgium {Liesbeth.Martens, Giuseppe.Primiero}@UGent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-22 11:12:55 Semantics Fuzzy logic Propositional calculus Philosophy of language Non-classical logic Indexicality Vagueness Sorites paradox Entailment Logic Mathematical logic Mathematics
735	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
736	PDF Document Add to Reading List Source URL: www.openldap.org Language: English - Date: 2014-07-10 16:44:55 Asterisk Exponentiation Computing Formal languages Programming language theory ALGOL 68 Software engineering
737	Microsoft Word - 13-Syntax-Directed-Translation.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:56 Programming language implementation Computing Attribute grammar LL parser Recursive descent parser Bottom-up parsing Parsing Terminal and nonterminal symbols GNU bison Compiler construction Formal languages Software engineering
738	The ClassAd Language Reference Manual Version 2.4 Marvin Solomon Computer Sciences Department University of Wisconsin—Madison [removed] Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-29 16:49:09 Formal languages Pattern matching Markup languages Data types Primitive types String literal Octal Regular expression String Computing Software engineering Computer programming
739	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing
740	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory

UPDATE